$\forall$$A$:Type, ${\it eq}$, $P$:Top. $\forall$$y$$\in$dom(). $w$=($y$) $\Rightarrow$  $P$($y$,$w$) $\Leftrightarrow$ True